redeem a debenture